STRUCTURES                                       



     3               8     10     12            22
  SETS            BAGS  OSETS  LISTS  EMPTY-STRUCS
     7              25     11     13                           Generalize
                                                                        (23)    
  4                9         25   31        44                        (failure)
                                                        Canonicalize
      5                                                              44
INT-SET BI-SET    INT-BAG BI-BAGS SINGL-BAG DOUBL-BAG TRIPL-BAG NUMBERS
      6 
                                                                130 138 149      

                                                                  130     147   150   151    152   154
SINGLETONS DOUBLETONS                                           EVENS SQUARES 1-DIV 0-DIV PRIMES 3-DIV
                                                                                   ≡EMPTY    153   155

.END;
.SKIP TO COLUMN 1; GROUP SKIP 3;
.BEGIN NOFILL; INDENT 0; PREFACE 0 MILLS; SELECT 9;
.TURN ON "[]&↑↓α←→∞\"; TABS 10,20,30,40,50,60,70;